$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$, $Y$:RandomVariable($p$;$n$). E($n$;$X$ + $Y$) = (E($n$;$X$) + E($n$;$Y$)) $\in$ $\mathbb{Q}$